projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fe4177) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Wed, 18 Oct 2023 19:50:19 +0000 (22:50 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 18 Oct 2023 19:50:19 +0000 (22:50 +0300)
commitcbc61eb15f2a3f579c941cf932fa9e0e7ac475c4
treeee04ff62b70d85a1b2781e940dc79f2ffc127edbtree | snapshot
parent3fe4177d2eadbdeb9026cf13be37a35d295b774dcommit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.